1. Computer Mathematics
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
2. Ideals, Varieties, and Algorithms
پدیدآورنده : by David Cox, John Little, Donal O'Shea.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
3. Logic of Computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
4. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده : Dowek, Gilles
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
5. Proofs and Algorithms: an introduction to logic and computability
پدیدآورنده : Dowek, Gilles
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
رده :
QA
9
.
D68
2011
